x11: Return the exact pixel coverage in get_frame_extents
authorAlexander Larsson <alexl@redhat.com>
Thu, 20 Nov 2014 09:42:55 +0000 (10:42 +0100)
committerAlexander Larsson <alexl@redhat.com>
Thu, 20 Nov 2014 11:38:04 +0000 (12:38 +0100)
commit788478dff9466b6606d61aa977847b7d78077d0f
treef273b2bd2745becb52860893f4f3e3871457aa6c
parentbd643e0e1afff720db2f2f512818f0b2633a6213
x11: Return the exact pixel coverage in get_frame_extents

Rather than just rounding down the position *and* the size separately
we correctly calculate a rectangle in scaled window coords that fully
covers the real window size. This really only makes a difference
when the window size/position isn't a multiple of the window scale.

https://bugzilla.gnome.org/show_bug.cgi?id=739750
gdk/x11/gdkwindow-x11.c